Integration of cos x